execute([]). execute(L) :- extract(G,L,L1),execute(L1),G. execute(L) :- executebis(L). executebis([]). executebis